Add two proofs