"Aus semantischen Gründen muss ein Zwergplanet per definitionem ein Planet sein." - Müssen muss schonmal gar nichts, begriffliche Definitionen können Ausnahmen habe. Im übrigen ist beispielsweise eine Zwergorange keine Orange. Und jetzt kommst du. -- Kraschnaut 14:24, 15. Jul. 2012 (CEST)