simplified the case for illegal token states and found the 'o.thur' bug, TODO.txt