El estado formula_22 no se parece nada a formula_24 en formula_7.