O'Boyle Proofs