Definition of SEMI-PROOF,