Amelia - ADL - Proofs