Proof :a play