Well, if Trump's people do that, then there'll be a hearing, I should think. Perhaps that'd take a couple of days. And then the judge would decide. But once again, there's the Judicial Watch action. And that judge has said it'll be released Monday.