Cole FinalCole Proofs