Por ejemplo, puede haber una cadena formula_51 en el conjunto formula_49 el cual, debido a la regla de que formula_27 no debe aparecer junto a formula_32, queda reducida a la cadena formula_28.