. . . "of B, or a member of AB, and the general proposition X is a member" .