Ben Carothers Proofs