 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.