Puzzles solved by HPI