Cymone Proofs