" s is a member of U, p is a member of P and string is a member of S" . . . .