Puzzles solved by hal