I'm wondering whether there is any reason why condensers can't be used for all program optimization. It seems like the definition would allow that:

> The primary means for shifting computation is the condenser. A condenser is a component that transforms a program, yielding a program that is semantically equivalent under a stated set of constraints (e.g., “class X will not be redefined”), but may be smaller, faster, or better suited to a particular execution environment.