 Personally, very well. J.D. Vance, he's someone that's been a little interesting, right? If you don't remember early on, J.D. Vance was not a big fan of Donald Trump. And back in the 2016 cycle, there was a whole bunch of stuff. I remember his name coming up when I was kind of involved in more of the political activism at the time.