The Lean view 1