SOLUTIONS Practice CPCTC Proofs.pdf