[EM] Oops! Errors in GMAT definition. Correct definition.

[MIKE OSSIPOFF]

Here is the correct definition of GMAT, the one that I meant to post
before:

Greatest-Mutual-Approval-Top (GMAT):

A mutual approval set is a set of candidates all of whom are rated
above bottom by each member of the same set of ballots--where, for each
ballot in that set, the set of candidates includes at least one of that
ballot's top-rated candidates.

If there is at least one mutual approval set for which the number of ballots
rating all of its members above bottom is greater than the number of ballots
rating at top anyone outside that set, then the winner is the most top-rated
candidate in the mutual approval set with the most ballots voting all its
members above bottom.

Otherwise, the winner is the most top-rated candidate.

[end of GMAT definition]

Though the requirements for the winning set aren't much more complicated
than those in MMT, the wording becomes quite a bit longer and more
complicated.

That's why, as I said, I consider MMT to be the best public proposal,
even though it doesn't meet Mono-Add-Plump. For reasons I discussed before,
I don't feel that MMT's Mono-Add-Plump will seem unfair, surprising or wrong
to people.

Mike Ossipoff