Lean's Connections