T. Harrison - Proof: Overview, Planning, CCC Position