Myron Proofs