We could either go to state B or we could go to state A. And, we could think of this then as a set of possibilities that after we execute this move, this transition, the machine could be in anyone of the set of states and actually this completely characterizes the possibilities for the machine. 