Rule ordering operates with that limited set by asking that every rule be a true generalization, but only at the stage of the derivation when it applies; subsequent rules may very well obscure its result or the condition that led to its application.
- McCarthy & Prince (2004), Pag. 390