Pero hay que recordar que lo que se quiere es que Bob tenga el estado formula_7, por lo que se tendrá que aplicar operadores (formula_37) al estado formula_35 para obtener formula_7.