Hot: automata2b