Added specification test for intersection