phil-205/Proofs.pdf