. . "Then, if x is a member" . . .