I'm fine with dwarf planets being planets, I'm fine with satellite planets being planets.