assert(Screen_top1.line < Cursor1.line or (Screen_top1.line == Cursor1.line and Screen_top1.pos <= Cursor1.pos))

  assert(Text.le1(Screen_top1, Cursor1))