"Sequence of characters of form satisfire" . . . . . . . . . . .