I would suggest that we need to be a little more robust in how we risk things because we know an oil price shock is going to come every 10 years. Then it will abate, and then another one will come and abate.
I'll move to Mr. Auer from the cement industry. It's another industry that I like a lot, and I spent a lot of time in it.
At what point does carbon pricing begin creating carbon leakage rather than creating emissions reductions?