phil-205/completeProofRules.pdf