When the machine is in an existential state, it accepts the input if there is at least one transition that eventually leads to an accepting state.
when the machine is in a universal state, it accepts input only if every possible transition eventually leads to an accepting state.