Element 'Paterson–Wegman algorithm'