Puzzles solved by hol