The caricature of Lean