Difference and intersection coded up.