"For example, we could remove positive examples of overlapping types from negative" . . . .