. . . . . . . . . . "Sequence of characters of form computaturum" . . . .