PROOF_TYPES