Are We Stuck with Lean?

Global World Moderate confidence — 64/100
Sources: Mathoverflow