 So the geophysical definition of planets looks only at the intrinsic characteristic, right? And it boils down to just mass. That means that you have rocks, right? There are like asteroids, things that are not massive enough to be round, right?