Proofs for Emily