 Well, first of all, he's going to lose anyway. But he didn't have a chance of winning that race. And probably it was not a good thing for him to stay with it. Probably long term, the right move, step out, people kind of forget about it. And that's what happened. He became president of the United States and vice president of the United States. In reality, it probably was the right move. But he looked back at this time where he should have been tougher. He should have pushed through it and didn't.