It's worth noting, too, that of that large number of claims—that very large number of claims—over 160,000 of them were repaired through the EQC process. So they were houses that were damaged up to the then cap of $100,000. Yes, there were circumstances in that that were difficult for some people, but the vast majority managed to get their lives back together relatively smoothly. One thing I've always said is that EQC can't go away, nor can the natural hazards arrangements that will come after this. They're there permanently, and those claims don't shut. And that, I think, has been a cause of quite a bit of difficulty for successive Governments as they've dealt with those particular issues. But I think it's important that that remains one of the open aspects of this type of coverage. EQC was one of the biggest purchasers of reinsurance of any company in the world. It's something that perhaps we struggle to get our heads around. We're only covering 5 million people. We're covering the dwellings that exist across the country that number only in the few million. But, none the less, because they were one big buyer, they were able to buy very, very well. 