
*** Yes
> > 
unify(...)   done
unify(...)
unify(...)
unify(...)
unify(...)
unify(...)   done
unify(...)   done
unify(...)
unify(...)   done
unify(...)   done
unify(...)
unify(...)
unify(...)
unify(...)   done
unify(...)   done
unify(...)   done
*** Yes
> > 
