Amanda - ADL - Proofs