Definition of Half-Proof