rule uniqueness