Rethinking Lean