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), a pag.390