OK, I give up. The only thing I asked was for people who make logical or mathematical claims to prove them.
No one wants to bother, so I don't care. There isn't a PaulK "method", there is a suggestion that descriptions and proofs be axiomitized in such a way that claims can be explained unambiguously, and that the differences in Ranked Pairs winners vs MinMax winners (for example) can be explained in terms that relate to the voters' ballots. If there's no value in that, then fine. ---- election-methods mailing list - see http://electorama.com/em for list info