Definition of HALF PROOF