Mykelyia and Terry Proofs