Yes. So you're right, the Brazil market and the Saudi Arabia market collectively are, in fact, lower than the demand in India. But I will say that we have a high level of confidence that those duties are going to be reinstated. And we're hoping that's going to happen before the end of the year. We are not obviously not having a facility there actively engaged in those negotiations, but we're very informed in what's going on, and we do believe the DGTR will make a decision prior to year-end. So the duties in India are currently still being collected. And if for whatever reason, those duties get reinstated, nothing is really changing. So when we look at the exports, we are -- there is a bit of a headwind where we were expecting more volume in the fourth quarter. When we think about our prior guidance, we were guiding to a higher number. We're still guiding to 3% to 5% more than what we were in the third quarter, and we're seeing some pickup there, but not as much as we had originally anticipated. With Brazil and Saudi Arabia, we think that, that is a unique opportunity. When you think about the duties that were implemented in Brazil, they were significantly higher than the provisional duties in many instances with the larger importers doubled. So you should think about a number of around $1,200 per ton across all importers. So that's a significant play. We're the sole producer there. Saudi Arabia, what I can tell you is that was a -- we were expecting that to happen, but not as soon as it did. And we are the only producer there, and we also think we're going to have a unique opportunity there. So when we start to think about those volumes and that shift that I referenced on the call in the prepared comments about Q3 numbers versus Q4 numbers, it's not just a projection. We're looking at our -- October is already complete. And when we look at across every month that we've sold so far, if you recall, our first quarter sales were actually pretty strong. March was our strongest month, and then we saw our volumes decline because we had a lot of other destocking going on, all the things that we referenced earlier. But our October sales, which are now complete, were the second largest month this year and equivalent to the March sales. And when we look into November and December, November is trending in the same way. We have very good vision on November and December orders. So I know there's probably some trepidation around what we're saying with regards to confidence level in the numbers, but that 3% to 5% that we're looking at with regards to growth Q3 to Q4 is very much in our line of sight.