"Sequence of characters of form conrecturum" . . . . . . . . . . . . .