That was the general idea. (And for the farther out planets they discover later, the tradition continues, just as our mythology tradition continues. Although I vote we re-rename Uranus "George." It's got a history with that name, anyway.) Although I didn't get much past that as to what they thought about them--how they got up there and all that. Still working on it.