Tax carbon and we can ration it out using market prices. But yes, many of those things are also carbon-intensive lifestyle choices, but some are more valuable than others.