Emma EditsEmma Proofs