Puzzles commented by Hol