<div dir="auto"> This procedure takes a list L of candidates and (with the aid of a defeat table) produces a maximal list L' that is totally ordered by the pairwise defeat relation.<div dir="auto"><br></div><div dir="auto">This means (1) that every member of L' is defeated by every member listed ahead of it, while defeating every member listed after it, and (2) no other member of L can be accommodated by L' while maintaining this total order property (1).<br><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">Initialize L' as the empty list. Then ...</div><div dir="auto"><br></div><div dir="auto">While the list L of unprocessed candidates is not empty ..</div><div dir="auto"><br></div><div dir="auto">Let variable T (for temporary) be the candidate at the top of L ... then ..</div><div dir="auto"><br></div><div dir="auto">If</div><div dir="auto">    T can be accommodated by L', </div><div dir="auto">Then </div><div dir="auto">      insert it into L' respecting the pairwise order,</div><div dir="auto">And </div><div dir="auto">    move the candidates defeated by T ahead of the other remaining members of L, while maintaining their order relative to each other.</div><div dir="auto">EndIf </div><div dir="auto">Remove T from L.</div><div dir="auto">EndWhile</div><div dir="auto"><br></div><div dir="auto">At this point L is depleted and L' is a maximal chain.</div><div dir="auto"><br></div><div dir="auto">By definition the head of this chain (the candidate at the top of L') is a member of the Banks set.</div><div dir="auto"><br></div><div dir="auto">Suppose the initial list L is in order of cardinal scores, and the head of the list is elected, then as a single winner election method, it is monotone, clone free,  IPDA (Independent from Pareto Dominated Alternatives), Banks efficient, efficiently precinct summable, etc.</div><div dir="auto"><br></div><div dir="auto">When the Smith set has fewer than four members, this List Based Banks method always elects the highest score Smith member.</div><div dir="auto"><br></div><div dir="auto">We need simulations and other experiments to see how this method fits in Kevin's seven benchmark profiles, other interesting profiles, etc.</div><div dir="auto"><br></div><div dir="auto">Of particular interest: compare this LBB method with SPE (agenda based) Sequential Pairwise Elimination.</div><div dir="auto"><br></div><div dir="auto">-Forest</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div></div></div>