My proofs