 I think yesterday, and I had this thought, I think yesterday was not a good day for Ron DeSantis. Because here's J.D. Vance. He's now on a ticket that is very likely to win in November. If we have another four years and J.D. Vance knocks it out of the park as vice president, you kind of have to consider him...