Background: the Vieira / Poesio
algorithm