Thinking Beyond Lean