numericalIntersection(WitnessSet,WitnessSet) works