I think the issue here was assuming that the optimization is the best possible one. It doesn't have to be, it just needs to be good enough to still function given past and present evolutionary pressure.