zip uniqueness is done