 Irrespective of your politics, the reality is this is a leader that's given 50 years of service and public service in America. And that's something that's pretty significant achievement. And, you know, so we wish him well.