Not all state machines are deterministic.