Wow, I never would have imagined one could prove optimality for that accursed beautiful thing.