Using this label on stateful operation does not change the state:
It's convenient to use this label for viewing how some state transition may affect controflow without actually changing the state.