ADDED: first_duplicate/2.