Graham Boggess Proofs