Primitive and nonprimitive equivalence implemented.