Practice on CPCTC Proofs