Added Intersection and cardinality