Frankie Fox - ADL - Proofs