Carrington Proofs