How Does Abacus Check for Duplicates?