 And I saw reports this morning that Senator Vance immediately will be out on the campaign trail. So he's already going out and getting to work, trying to get the job done. So there was a very interesting altercation between Donald Trump Jr. And I have to be very honest, I like Donald Trump Jr. There are a lot of things about Donald Trump Jr. that I really, really like.