 It's because of this rule in Ohio that Ohio has actually since fixed. But originally, the president wouldn't have met the deadline to be on the ballot in Ohio. So Democrats were planning on nominating him early. They still want to move forward with that. So literally, there's a matter of days before Democrats can come forward and say something. I think you're right that at this point, it might just be that they're running out of time.