 No, not at all. You know, I had a chance to talk to the president about this yesterday, as a matter of fact. And and he said it just wasn't a part of the conversation. I mean, other than people coming up and thanking him for his leadership and his stewardship. But it wasn't like there was a lot of hand wringing over our domestic political situation, at least not in the official sessions. Again, I can't speak for what the leaders say.