The revenue ratio has been declining essentially because of a reduction in tax rates, both for personal income and for corporate income, through that period. Plus there's the impact of the recession in that year, which played some role. But tax reduction has been a significant factor in that. They have not been increasing since then because the government has not increased tax rates in any way through that period. So it remains stable as a share of GDP.