toast, rok temu

Exactly. That’s also why Jupiter, which shares its orbit with thousands of asteroids, isn’t a planet either.