Demotion of Pluto as a planet

[cino hilliard]

Hi,

The celestial object we call Pluto was demoted from its  planet status 
today.

Sequences

A070273,A11050,A116448,A118952

need to be corrected. I was going to comment on these  but apparantly my 
comments are not
going through to the database.

Too bad about Pluto. Now Mickey Mouse and Goofy will not become astronauts 
so they can visit Pluto. However, numerically, not all is lost. The number 
of planets is still a perfect power.

Have fun,
Cino