 Exactly. It goes back to Judge Doty. But then it gets sent to the Fifth Circuit? If the government appeals again, it'll go to the Fifth Circuit. And then we're guessing that it'll eventually head to the Supreme Court once again. On the merits of the case itself, not the injunction. Because we don't see the government letting this go. Unless Trump gets elected.