Demoting a planet

Well, poor Pluto is just a number now.

On Sept. 7, the former 9th planet was assigned the asteroid number 134340 by the Minor Planet Center (MPC), the official organization responsible for collecting data about asteroids and comets in our solar system.

The move reinforces the International Astronomical Union's (IAU) recent decision to strip Pluto of its planethood and places it in the same category as other small solar-system bodies with accurately known orbits.

That's fine. I never thought Pluto -- excuse me, 134340 -- was that special anyway. Now, let's never mention that name again in conjunction with The Planets, a true masterpiece.