This means that for some automata the transition is not taken since the value skips over the guard.
This means that for some automata the transition is not taken since the value skips over the guard.