"are members of a class s, and if x is a member of" . . . .