 Right, there is a very good point. And that's one thing that prompted planetary scientists, in fact, to use another definition of planet that they call the geophysical definition of planet. That depends only on the mass, right? So in that case, a planet is an object that has enough mass to be round. So that's only the second part of the IAU definition.