Patrick Carrington Proofs