 When appointed, Jack Smith was not in the United States government. Correct. Because he was only acting through part of 2017. Right. And so you get to a point now that, all right, what's the timeline look like? Well, I don't know. Number one, how fast could you get this to the Supreme Court?