 Then there was the dwarf planet Aries. When Aries was found, that was the catalyst to declassify Pluto, because all of a sudden you found an object that was more massive than Pluto, right? So either you also call that object a planet, or you have to rethink the definition of planets.