Non-determined finite automatons and other cool things live here