PROOFLESS

Definition of PROOFLESS