Move Beyond Lean