 So consumption-based taxes mean a lot of different things, but essentially what it means is you take your total income, you subtract what you spend on anything at all, whether it's healthcare or a car or anything else, then you pay tax on what you spend. You don't pay tax on what you earn. So that could be a value-added tax. It can be a flat tax. It can be many other different versions. And in this document, they don't really say which one they support. They just say they want to eventually go to a consumption tax.