 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 we wish him well.