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