The Birth of Lean