We'd also have to put Ceres back as a planet. And probably everything else that's currently classified as a "dwarf planet". And Pluto would be a double-planet w

We'd also have to put Ceres back as a planet. And probably everything else that's currently classified as a "dwarf planet". And Pluto would be a double-planet with Charon, so still a different category from the rest.