unification without rebinding