Puzzles solved by CAT