 I've heard the same thing, Jesse. I would be surprised if they did it unless they were trying to make a little bit of peace with the United States before the elections came out just to hedge their bets. It's possible, but the Brazilian price is so much cheaper than us, especially given the weakening Brazilian currency against the dollar. We have this diverging pre-holiday trade, I think, mainly because of the acreage and stocks report.