 And they've got this spiraling debt. They've done a lot of pretty large infrastructure projects, borrowed a lot of money to do that, $80 billion foreign debt now. Just servicing their debt takes up roughly, I think, 70 percent of their GDP. So they've got issues, and he was obviously feeling – the president was obviously feeling a lot of pressure to raise taxes, get some more revenue to sort of tell lenders that we're taking this seriously.