Ähm
Kann mir vorstellen, dass es für Astronomen schon ein Problem ist,
wenn sie bestimmen sollen, ob das Ding was sie entdeckt haben nun
ein Komet oder ein Planet oder ein Planetoid oder ein Zwergplanet ist.
Wenn jetzt genaue Vorgaben bestehen, was ein Planet ist, wird ihnen
das wohl erheblich erleichtert.