Technically Exists

Anonymity criterion

The anonymity criterion requires that a given ballot must be counted the same way regardless of who casted it. If there exists an election for which it is possible to change the outcome by keeping the ballots cast the same while changing which voters cast which of those ballots, then this criterion is not met.

More formally, a voting method mm passes the anonymity criterion if for every list of ballots BB in the domain of mm and every permutation α\alpha of that list, α(B)\alpha(B) is also in the domain of mm and m(B)=m(α(B))m(B) = m(\alpha(B)).

The anonymity criterion implies the identical input options criterion and is implied by the cancellation criterion.