Does nonmonotonicity in three-candidate IRV only happen when the Condorcet winner is eliminated? More generally, does a candidate-elimination method have to be able to eliminate the Condorcet winner in a three-candidate scenario in order to be nonmonotonic with only three candidates?