Bob Newth Proofs