more output unification