 It was set for July 11th, just a few days before the Republican convention, which a lot of us thought was suspicious timing. But they've delayed it now to September. Let's see. He's going to rule on it. Well, September, I think, 11th or 13th or something like that. Anyway, delaying until September the 7th of September, he'll rule on whether or not.