Puzzles solved by HAG