A New Look at Lean