. . . . . . . . . . . . "Sequence of characters of form proterminabit" . . .