 There was an element of resistance there, and I think there was some very poor performance and behavior. But ultimately, he left office. And in the next go-around, I believe he will be re-elected. That's my prediction as of today. Things can always change. I don't have any doubt that when the end of his term rolls around, he will leave office. And at that point, perhaps with a bit of relief.