Puzzles solved by ATHR