<div dir="ltr"><div> </div><div>I'd said:</div><div> </div><div>[quote]</div><div>A defeat, D, is a discarded defeat if it contradicts a set of defeats that contains a defeat stronger than D, and no defeats weaker than D.</div>
<div> </div><div>[end of 1-paragraph definition]</div><div> </div><div>[/quote]</div><div> </div><div>I left out the words "not-discarded". Here is what I mean:</div><div> </div><div><div>A defeat, D, is a discarded defeat if it contradicts a set of not-discarded defeats that include a defeat stronger than D, and no defeats weaker than D.</div>
<div> </div><div>[end of 1-paragraph definition</div></div></div>