Puzzles commented by ConBarr