Puzzles solved by HOT