Oh, and we now had defintions for planets. They have to be round. That means we might have 12 planets soon. But I wonder, when we finally made a big enough bomb to blow off a junk of the earth, it will no longer be round. So it won't be a planet anymore.