Esto sugiere que en realidad basta formula_31 para tener todos los estados posibles.