 This was going to happen eventually. I mean, markets were going to start focusing on implications of the election, and it has begun. I mean, I think maybe it has started a little bit earlier than it would have otherwise. But the main thing that markets are focusing on is that Trump is rising. Trump is having a good summer. Prediction markets...