Definition of PROOF