I am greatly relieved to know that the number of
planets has now shrunk and poor Pluto has been
demoted to a 'dwarf planet'. Imagine the lethalness
of having to remember the names of so many
planets, had it been otherwise. What is interesting
in this entire debate is that so far there was no 'definition'
of a planet. Now there is! What will all this do