proof_criteria