add unification proc