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