Add more proofs.