 One of the great things about DeSantis is he's extremely proud of what he's done in Florida, and he should be. I think that characteristic, though, might be the kind of thing that might make Trump sort of move down the list a little bit. So on that thing, just to wrap up this segment about ready for the presidency on day one.