 Now they're finding out, oh my God, we don't actually want it to be Trump. I think that they are going to be, so first of all, we're going to go into July 4th. On Monday, I think we're going to get a Trump somewhat protected presidential powers ruling. And then we're going to go into the July 4th holiday.