proof_xyz (PROOF)