 All of these things have been done before by other countries, most recently Greece. And it will be painful when it happens. And it will happen. It's going to be something that the government's going to have to do. There will be spending cuts as well. And some of them are going to be...