> The klorps that are gronks could be a wholly distinct subset to the klorps that are floots. So? It's still the case that "if there is any overlap between flo

> The klorps that are gronks could be a wholly distinct subset to the klorps that are floots. So? It's still the case that "if there is any overlap between floots and klorps," it is "guaranteed, that some floots are klorps." It's tautological. Unless there's a way to read "overlap" so that it doesn't mean "some of one category are also in the other category, and vice versa"? Oh, when I said "it's necessarily true" I was refering to this last sentence of the output, not the question posed in the input. Hence we are at cross purposes I think.