Dylan Proofs