PROOF_STR: "proof" = 'proof'