. . . "Sequence of characters of form apodixeos" . . . . . . . .