intersection and setminus