The Real Meaning of Lean