[EM] Just a thought

[Kristofer Munsterhjelm]

On 2024-04-19 21:58, Closed Limelike Curves wrote:
> IRV fails ISDA, so removing all non-Smith members can affect the 
> IRV-ordering of Smith set members.

Yes. I don't think Woodall was claimed to be ISDA.

James Green-Armytage gives the following election:

6: D>A>B>C
5: B>C>A>D
4: C>A>B>D

and says that Woodall elects B whereas Smith//IRV elects A. Since 
Woodall restricted to the Smith set is just IRV, this shows that Woodall 
fails ISDA. Benham also elects B, thus failing ISDA as well.

-km