冥王星が追加されることを防ぐためにも、｢惑星｣じゃなくて｢占星術｣みたいな名前にしとけばよかったのにね。