"Suppose S is a symmetry." . . . .