Jade - ADL - Proofs