Implements allUnique