∀ {s : String.Slice} {p q : s.Pos} {h : p ≠ s.endPos},
  q.offset.byteIdx = p.offset.byteIdx + (q.offset.byteIdx - p.offset.byteIdx) →
    q.offset.byteIdx - p.offset.byteIdx = 0 → p.offset.byteIdx < q.offset.byteIdx → False