 In the federal case, at least, the concern is, of course, that if Trump is elected president, he could just order the Justice Department to drop the charge against him. So all this is in the hopper as we go to the Republican National Convention and look ahead to the election. All right. That's Greg Allen, NPR's Miami correspondent. Thanks so much, Greg. We appreciate it. Sure, Anthony. Bye-bye.