"Sequence of characters of form coniecturum" . . . . . . . . . . . . .