 If he leaves it before November, we'll have to get somebody in there to fill that seat. And DeWine will have to choose a Republican to go to D.C. and become a U.S. Senator. Who do you think that will be? Who do you think that will be?