Jonathan Murphy Proofs