Puzzles solved by HRA