Al recibirlos Bob, él ya sabrá qué operación tiene que hacer para obtener el estado formula_7.