 I want to go to John Santucci, who reports on Donald Trump for us, has for many years. And, John, when did J.D. Vance get this call? David, it sounds like it's a call that came, believe it or not, with just in the hour. I'm told by my sources that up until just a few hours ago, J.D. Vance had not received any formal call, any formal offer from former President Donald Trump.