Proofs.pdf