Loading: Lean Thinking Revisited