 I think if the election were held today, I think they'd be in a great position. Obviously, a lot of things can happen. We still have a long way to go to November. Foreign events can take place. Something can happen that would just change the race once again, potentially. But I think based on last night, certainly Mr. Trump's camp has to be pretty happy.