X "X ___" vs. each collection satisfies "X ___" and the collection of collections does as well for some unrelated reason.
The right side of this Problem is a subset of left-BP999.
Contrast with BP1003, which is very similar.
Contrast with BP1002, which is very similar.