Title: Lean2 : a Balanced Approach to Problem-Solving