Myah Proofs