Title: Beyond Lean