Text this: Synchronizing random automata on a 4-letter alphabet.