 They're expected to appeal. And that was kind of the reports that are circulating. I don't think they've actually gone out there and said whether 100 percent they are going to appeal. But the reports currently suggest that they are expected to appeal. But like you said, Joe, there's no real legitimacy behind any of this. Jack Smith has no authority in going after President Trump. Right.