X [the __in "X ___"] vs. each group satisfies "X__" and the whole collection of groups does as well for some unrelated reason.
Contrast with BP998, which is very similar.
Both sides of this Problem are subsets of left-BP999.
Aaron David Fairbanks
