. . . "If people and politics must have a holiday, call it Discovery Day (of land, sea, space and other worlds)." . .