FDL- Katie proofs