Thanks for the question.
I think that would make the assumption that somehow the carbon price is a form of spending that could be redirected elsewhere, whereas, in operation, the carbon price is something that is charged and then largely revenue-neutral, where the funding is actually returned in various different ways, sending a price signal. It's not as if the carbon price is in a sense using spending that could be directed elsewhere for technologies and so forth.