SOLUTIONS CPCTC Proof Homework.pdf