 So it was down to three, we were told. Doug Burgum, J.D. Vance, and Marco Rubio. And he decided to go with J.D. Vance to, I think, the surprise of some people. Because this is a pick that is going to...