```suggestion      4. Before the recommendation can be implemented, the same event invokes         _ensure_communicating to let y to transition to flight. This in turn pops x from         data_needed - but x has an empty who_has, which is an exceptional situation.      5. The transition fetch->missing is executed, but x is no longer in  ```