Chinowth & Cohen - Proofs