 And as far as paper ballots go, I guess you electronically could change things, but there are deadlines. And now maybe Mark Elias or the Democrats will sue to change that. Probably will. But the other issue is really what about all the mail-in ballots that have already been printed with his name before they've even gone out? Yes. And those have been filled out and signed already, too.