proofs.pdf