@numericcitizen If he loses, yes. If he wins, we'll be glad we stuck with him. If we replace him with another candidate who loses, we'll regret it. If we replace him and that new candidate wins, we'll think we made the right call. That is the conundrum.