implemented unique-of