Al medir, el estado formula_30 colapsará a una de sus cuatro opciones, llamando al estado resultante formula_35, que es el estado que, tras medir Alice, tiene Bob.