Sure. I'm happy to speak a little bit to the relative competitiveness impacts. Please correct me if I'm not answering specifically.
I think the concern.... What a border carbon adjustment does.... To the extent that price is applied to domestic production, the border carbon adjustment would ensure that producers pay the same price for the embedded carbon. I think in Canada to date, ECCC has sought to manage that—they should really speak more to this—through what's called the free allowances through the output-based pricing system. That's how ECCC has sought to manage carbon leakage risk within Canada to date for our emissions-intensive trade-exposed industries.