I never meant simplified by optimized. Simplification is what you do (with O(1) effort) when removing the optimization. When they are the same thing, there is

I never meant simplified by optimized. Simplification is what you do (with O(1) effort) when removing the optimization. When they are the same thing, there is no trade-off to be made.