Moving Beyond Lean to Global Optimization