add proofs