Lean Math: Figuring to Improve