unify() finished