There's a presumption in the logic of your statement here that if there is any waste in a program, it must be cut.

It turns out that there is generally waste in all operations; it doesn't follow that all operations should be terminated.