 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 planet.