Yes, I think you have to.
It's unfortunate to exempt the exports, but I think that unless you do that, you're just creating an incentive for industries to flee to the non-carbon tax jurisdiction over the short term. Obviously, the goal in the long term is to get more countries on board and to expand the scope of the regime.