list of proofs