"Suppose that is a group and is a generating set." . . . .