"Sequence of characters of form minxi" . . . . . . .