Breaking Lean