 I think is a professional one. It would be fair to say it's not exactly a friendly or warm one, as it may have been just a few years ago. But that bitter primary certainly took a lot out of them. They traded insults with Donald Trump in particular was very upset that Ron DeSantis launched a primary campaign against him. So I think, again, him being here reflects both, you know, again, party unity, but also Ron DeSantis trying to turn the page on that.