equivalence determination