∀ {s : String.Slice},
  s.startInclusive.offset.byteIdx ≤ s.endExclusive.offset.byteIdx →
    ¬s.endExclusive.offset.byteIdx ≤
          s.startInclusive.offset.byteIdx + (s.endExclusive.offset.byteIdx - s.startInclusive.offset.byteIdx) →
      False