Si evoluciona desde formula_11, el estado formula_12 se puede escribir en términos del operador temporal formula_13