E4 - CPCTC and other Forms of Proof