Text this: D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA