 He said he didn't have a great debate either. I think Donald Trump has been very popular in the state. And so I'd be surprised if that changes significantly. But I do think if Democrats had any sense of competing in Ohio for the presidential ticket, that took a real blow this evening.