Title: Reflections on Lean