 So the asteroid belt did not become a big planet because of the presence of Jupiter. Really? Okay. Jupiter is a very massive planet, so the tides from Jupiter end up exciting the orbits. So that is much more likely that when two planetesimals in the asteroid belt collide, they're going to fragment.