Teresa - ADL - Proofs