Are We Stuck with Lean?