Puzzles solved by HPK