Aneta - ADL - Proofs