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