 Are they hedging their bets a little bit? I think that's a lot less likely right now. I thought it was very unlikely then. But I think, number one, there was always that talk that Harris is the number two on the ticket. Number two, look, even if Biden gets elected, I think there's a widespread expectation that Harris could at some point, before 2028 perhaps, Biden steps aside. And Harris is...