Element uniqueness problem