Definition of Full Proof