 Since the decision came out, it's going to be very unlikely that the district court is actually going to rule on this before the November election. So that's a good thing. But I think this could possibly linger while President Trump is still, you know, when he gets elected, God willing, in office. This district judge in D.C. is elected. And I'm pretty certain that they're going to take orders from the Biden administration, just like so many of these.