Puzzles solved by kb