Esto permite que los valores de expectativa de formula_58y formula_59ser fácilmente evaluado para un estado formula_60.