Prove and Proof