CPCTC and Proofs — Geometry