add one more unification proc