 A lot of folks have viewed, perhaps correctly, that the time to have changed the nominee was quite a long time ago. And at this point, it's effectively too late. And yet, if we decide that that's what's going to happen, then they're going to have to do it in a way that is not what anyone, at least what voters, would be expecting.