Lagrange was added in 8ec8fe0fcc155e0e3e0cc14a3b04b51c1a7ac10c.
Closing.