Talk:Independence of Smith-dominated alternatives

What voting methods satisfy Smith criterion but not ISDA?
In order for the reader to determine whether ISDA is redundant, shouldn't the article list some voting methods that satisfy Smith but not ISDA? SEppley (talk)