It's not an assumption. Of course, it depends on a lot of things, but broadly speaking, they use less CO2. And the great thing about a carbon tax is that this shakes out through the system: if they're not reducing CO2, you would see it in costs and could react accordingly. This price signal is a lot more convenient than having to, as an end user, try to figure out what the best and worst things to do in terms of CO2.