Puzzles solved by cyc