Equivalence and primitive integration