Off by one, the last state should only accept ignorable operations that will end up in its todo list.