let
intersection a b = substract a (substract a b)