 When you look at betting markets and what the market expects as of today, I mean, Trump is very much kind of expected to be the winner with what we know now. So it's uncertain exactly how much of that is already in the price. And as we know, markets are going to respond to what happens relative to what's in the price, not necessarily just based on what happens. So we're going to have to watch that carefully. I think it's going to be a lot less clear this time around what the actual reaction is going to be.