冥王星が「格下げ」されて惑星でなくなる見通しが高い、とのことだが*1、そうなれば「土天冥海」か「土天海冥」かで迷わないようになるわけだし（我々の世代なんか特にそうだ。受験生になった途端、順番が変わってしまったのだから）、ホルストの組曲『惑星』になぜ「冥王星」が無いのかということをモンダイにする必要もなくなるわけだ。しかし、1930年にクライド・トンボーによって「発見」されたり、微惑星であると云われたり、今度は「格下げ」されたりと、冥王星にとってはいい迷惑である。「惑星定義委員会」とは、一体何なのだろう。
それにしても、「惑星」の定義じたいがきちんとしていなかったことに驚いた。
*1:２００３ＵＢ３１３はどうなるの？
