Puzzles solved by Hol