La función formula_27 da nombre a la situación resultante de aplicar la acción formula_28 a la situación formula_29.