Puzzles solved by HAS