- [Ontological remodeling | Meaningness](https://meaningness.com/eggplant/remodeling)
My favorite bit:
> Jupiter doesn’t go around the sun, and therefore is not a planet by the 2006 definition.
> Don’t believe me? In Newtonian mechanics, two bodies orbit their barycenter, or center of mass. If they have equal masses, the barycenter is the midpoint between them. If one is heavier than the other, the barycenter is closer to it. If one has much greater mass than the other, their common barycenter is located within the larger body, and the smaller object goes around that point. Only then is the smaller body said to orbit the larger one. Otherwise, the two form a binary system.
> Jupiter is ludicrously heavy: it has 2.5 times the mass of everything else in the solar system combined, apart from the sun. The sun is much heavier still—but the barycenter of their mutual orbit is outside it. Jupiter and the sun are a binary system. Their barycenter is, to be fair, quite close to the sun, and informally it may be reasonable to say Jupiter goes around it. But in terms of the formal definition, it doesn’t, so by the IAU criteria, Jupiter is not a planet.