initial paper automata race sketch.