[EM] Typo

[Michael Ossipoff]

 I'd said:

Conditional MMV:

[quote]
1. A defeat is a discarded defeat if it contradicts a set of
not-contradicted defeats that are stronger than it is.
[/quote]

Of course, instead of "not-contradicted", I meant "not-discarded".

So it should say:

Conditional MMV:

1. A defeat is a discarded defeat if it contradicts a set of
not-discarded defeats that are stronger than it is.

Michael Ossipoff