<div dir="auto">This procedure is composed of two sub-procedures ... one to construct an "advanced placement" chain headed by the most favorable agenda item ... and another to complete the chain by a process of chain climbing.<div dir="auto"><br></div><div dir="auto">First sub-procedure: initialize a chain 'c' as the empty set. Then while there exists (even vacuously) some agenda item that is defeated by every member of 'c', incorporate the most favorable such item into 'c'.</div><div dir="auto"><br></div><div dir="auto">Final sub-procedure: while any agenda item defeats every member of 'c', incorporate the most favorable such item into 'c'.</div><div dir="auto"><br></div><div dir="auto">After executing both sub-procedures, elect the head of the finished chain.</div><div dir="auto"><br></div><div dir="auto">This method is definitely Banks efficient. I'm pretty sure that it is also monotonic and (unlike ordinary chain climbing) Independent from Pareto Dominated Alternatives (IPDA).</div><div dir="auto"><br></div><div dir="auto">I'll send proof sketches soon (if it continues to hold up).</div><div dir="auto"><br></div><div dir="auto">-Forest</div><div dir="auto"><br></div><div dir="auto"><br></div></div>