TPE 'Calm' - Proofs