Yes. To go back to the question about tracking the exact dollars that are collected, I would also emphasize that the deterrent impact of that increased effort is likely one of the factors that's influencing the 7.5% increase in corporate tax. On an annualized basis, that represents roughly $10 billion in additional tax. If you look at personal income tax, non-residents tax, and corporate tax, they're all well above GDP growth. The tax agency can't take credit for all of that, but there's a positive upward trend. It's true that we understand that if you give us a dollar, we'll generate a certain dollar in billings, but how we spend that and how we target it is also very important.
The OECD is doing work around country-by-country reporting and CRS. These are two global efforts to get greater transparency for multinationals and individuals, and we're seeing a global lift from both of those two segments ahead of those measures. These are sophisticated people, and they're starting to pay the tax they owe in the first instance.