 And there was a lot of pressure, a lot of pressure brought to bear on the president to choose them. And he didn't. And so. So interesting take from him on that. Now, again, in fairness, some people could say that about J.D. Vance, too. He was one thing I wish he would have addressed it. I mean, it's not a big deal to me, but all the roommates comments about him referring to Trump as Hitler.