The Edges of Lean