. . . "is a set of possible branching target blocks, B is a subset of A, X and Y are subsets of A whose intersection is B, and U and W are subsets of A with at least one element in common." . . .