Bunthut comments on Two senses of “optimizer”