Proofs - Emma - TMP