[EM] Fixing IRV

[Markus Schulze]

Dear Richard,

you wrote (7 Aug 2001):
> Actually, IIRC, there is a proof somewhere in the literature
> that elimination methods are not monotonic. Does anyone recall
> the theorem I mentioned above about elimination and monotonicity?

Some elimination methods are monotonic (e.g. Ranked Pairs). Some
methods are not monotonic although they don't use eliminations
(e.g. Dodgson).

Markus Schulze