Adding proofs.