proofs using cpctc worksheet - Search