PROOFS

Definition of PROOFS