Brett Cox Proofs