finished defining CIU equivalence