Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!Bruce.Lucas@CMU-CS-G
From: Bruce.Lucas@CMU-CS-G@sri-unix.UUCP
Newsgroups: net.space
Subject: naming names
Message-ID: <4609@sri-arpa.UUCP>
Date: Sat, 27-Aug-83 09:33:52 EDT
Article-I.D.: sri-arpa.4609
Posted: Sat Aug 27 09:33:52 1983
Date-Received: Tue, 30-Aug-83 22:14:57 EDT
Lines: 3

Should then the Earth be called Columbus, in recognition of Columbus's
contribution to convincing his contemporaries of the Earth's (er, sorry,
Columbus's--the planet, that is, not the man) true nature?