Misconceptions between Lean and DFT