Puzzles solved by HFC