Proof that _?_ is fine.