 So I think that that's the first thing, that I think Joe lost, not Trump won. Second thing, or third thing actually, is the jig up for Joe. First of all, I don't know. They have about a month. The Ohio deadline to get on the Ohio ballot is August 7th, which is why they're going to nominate Joe virtually before then. So they have a little bit more than a month.