name equivalence