∀ {s : String.Slice} {newStart newEnd : s.Pos},
  ¬s.startInclusive.offset.byteIdx + newEnd.offset.byteIdx -
          (s.startInclusive.offset.byteIdx + newStart.offset.byteIdx) =
        newEnd.offset.byteIdx - newStart.offset.byteIdx →
    False