@emma Of course dwarf planets are still planets (planetary scientists say so, at least). Nobody says Mars isn't a planet because it's a red planet because that's not how adjectives work. Jupiter, on the other hand, is too massive and thus doesn't quite orbit the sun so if we want to pick nits we can kick out Jupiter instead. Maybe say gas giants shouldn't be called planets and kick out Saturn too. (Not totally serious, but I'm totally cool with massively expanding the planet count.)