Take a look at this MinnPost article by Joel Kramer and the comment on it by Paul Birnberg. The subject matter is Minneapolis’s Ranked Choice Voting tabulation process. Kramer offers a proof sketch that a more efficient process would necessarily give the same results. Birnberg offers a proof sketch that the results of Kramer’s process could be different. Clearly there is a fallacy in one argument or the other. Which do you find more convincing? Why? If I were teaching our proofs course, I’d offer extra credit points, but I’m not, so you’ll just have to puzzle through this for the sheer joy of it.