 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 a pretty significant achievement. And so we wish him well.