allow general unification