Conner Proofs