 I mean, but these are the kinds of things, these are extinction-level events, many of them. And they've happened all over, throughout Earth's history. Not that frequently, thankfully, we haven't experienced one in our lifetime. But 65 million years ago, this happened, wiped out the dinosaurs. So...