[EM] NESD and NESD* properties of a single-winner voting method

[Jobst Heitzig]

Dear Warren,

I don't seem to understand the definition:
> A single-winner voting system "fails the NESD property" if, when every
> honest voter
> changes their vote to rank A top and B bottom (or B top and A bottom;
> depends on the voter which way she goes), leaving it otherwise
> unaltered, that always (except in very rare "exact tie" situations)
> causes A or B to win.

So, when all voters vote strategic (i.e. no voter is honest) and all
leave their ballots unchanged, then by definition "every honest voter
changes their vote to rank A top and B bottom" but of course no system
changes the result since no ballot is changed. Hence no system fails NESD.

What is the misunderstanding here?

Yours, Jobst