SD Smith Compliant

[Mike Ositoff]

Sequential Dropping complies with Smith, because:

Every alternative not in the Smith set has a defeat by
every alternative in the Smith set, which can't be dropped
because it isn't part of a cycle.

Likewise for Non-Sequential Dropping (ND), which says:

Drop every defeat that conflicts with a larger defeat".

Mike