Puzzles solved by Hal