I have to disagree. I think it's a bit arbitrary to decide that gas giants are planets and rocky spheroids are not. Why not have multiple classifications of "planet," or none, and class the inner-system bodies as rocky spheroids, the gas giants as gas giants, and other bodies as other appropriate types. (I'm leaving Pluto out of consideration entirely.)
no subject