problem:lean_thinking