name unification