How do *small* asteroids form as solid rocks? I imagine they start from dust, but surely gravity doesn't compress them into solid rocks?