 works in phases of exponentially increasing length. In each phasei, an agent first deletes dominated arms\emph{ -- the arms preferred by agents ranked higher than itself.
<clarity>  works in phases of exponentially increasing length. In each phasei, an agent first deletes dominated arms\emph{ -- the arms preferred by agents ranked higher than itself.
 works in phases , where in each phase, agents delete\emph{ -- the arms preferred by agents ranked higher than itself.