∀ {s : String.Slice} {p : String.Pos.Raw},
  p.byteIdx ≤ s.endExclusive.offset.byteIdx - s.startInclusive.offset.byteIdx →
    s.startInclusive.offset.byteIdx ≤ s.endExclusive.offset.byteIdx →
      ¬s.startInclusive.offset.byteIdx + p.byteIdx ≤ s.endExclusive.offset.byteIdx → False