. "Sequence of characters of form assertionum" . . . . . . . . . . . .