continue with the unification