 about whether it should be Doug Burgum, Marco Rubio, you name it. There was a list and it was getting shorter. And ultimately yesterday, well, President Trump gave Ohio Senator J.D. Vance a phone call. And we actually have that moment in cut 10. Take a listen.