Rohin Shah comments on Two senses of “optimizer”