start unification