 Now, the second thing you asked after that was domestic carbon pricing. So domestic carbon pricing, again, getting technical, and I apologize for doing this. There's two aspects to carbon. One is when you use carbon-based fuel for transportation, gasoline. There's already a gasoline tax that is effectively a carbon tax. The other is utilities.