 They have some Ohio voting problem that they have to work around, which is a whole nother conversation. But they are poised to elect Biden through the delegate process on August 7th through this virtual process. So they would have to to make things easy for themselves and to avoid these Republican legal landmines that are being threatened.