 wouldn't have met the deadline to be on the ballot in Ohio. So Democrats are planning on nominating him early. They still want to move forward with that. So 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.