[EM] Fwd: Two MMV definiions (brief, and ordered-procedure)

[Anders Kaseorg]

On 12/08/2013 06:42 PM, Michael Ossipoff wrote:
> Brief definition:
>
> Keep every defeat that doesn't contradict a set of kept stronger defeats,
> or a set consisting of defeats equal to it, and kept defeats stronger than
> it.
> [end of brief MMV definition]
>
> Ordered-Procedure MMV definition:
>
> In order of stronger first, consider the defeats one at time, as follows:
> Keep the considerred defeat if it doesn't contradict a set of stronger
> kept defeats, or a set consisting of defeats equal to it, and kept defeats
> stronger than it is.
> [end of ordered-procedure MMV definition]

This still doesn’t fix the problem I pointed out yesterday[1].  Are you 
intending to fix it, or have you decided to fail resolvability in favor 
of making the definition shorter?

Anders

[1] 
http://lists.electorama.com/pipermail/election-methods-electorama.com/2013-December/032423.html