That will always happen if it is initialized to one of the states in the sequence. But, if it is initialized to one of the unused states, it is not obvious what will happen. When we designed the systems of the last two examples, we assumed that that state never happened and thus made the next state a don’t care.