Puzzles solved by adfa