Puzzles solved by HEU