stable-intersection and set-difference.