 I mean, just as Larry said, this is a huge deal. And coming again right on the morning of the first day of the Republican convention, it will just be something that Republicans will be celebrating, even if eventually this ruling is overturned, as the Justice Department will, of course, appeal it. But it certainly has been...