Proofs

Definition of Proofs