Como se pueden agregar cuantificadores sin sentido a cualquier fórmula, una vez que una fórmula recibe la clasificación formula_10 o formula_11 para algún formula_12 se le asignarán las clasificaciones formula_19 y formula_20 para todo formula_21 mayor que formula_12.