 Okay, so Driver and Gunnison saying J.D. was not his first choice, but he's not necessarily upset. He would have preferred DeSantis. I don't think DeSantis would have done it, and I really don't think Trump ever would have asked DeSantis to do it. I think DeSantis was too high up on the threats to Trump list in the primary. And then Vivek just...