Las sentencias formula_2 pueden cambiar estados: