 But apparently Donald Trump Jr. and J.D. Vance are very close, very, very good friends. And so that may have been the tipping point for the president. We had, you know, one of the things about the Republican Party right now is we have a very good bench. There are a lot of people who are in the upper echelons of political leadership in this country that are Republicans that you could see being president one day. And that's a good thing for us.