Puzzles solved by GKI