interpuction unification