Definition of "proofs"