This leaves at least two places that I don't know quite how to reword without major surgery; but it makes everything else consistent. The two places are

• sentence https://eel.is/c++draft/ranges#range.req.general-1.sentence-3
• the first half of sentence https://eel.is/c++draft/iterators#move.sentinel-1.sentence-2

I started down this rabbit hole with [alg.equal], which currently says

the types of first1, last1, first2, and last2 pairwise model sized_sentinel_for ([iterator.concept.sizedsentinel])

which is obviously awkward since what it actually wants to say is that last1, first1 and last2, first2 model sized_sentinel_for — that's a weirdly reversed way of interpreting "pairwise". It now says simply "S1 models sized_sentinel_for<I1>"... but then I noticed all the random places where we said things like "S1 models sized_sentinel_for<S1, I1>" or "I1 and S1 model sized_sentinel_for<S1, I1>", and cleaned them up too.

The style being selected-for here is:

• "I models input_iterator" (not "I models input_iterator<I>")
• "S models sentinel_for<I>" (not "S models sentinel_for<S, I>"; not "S and I model sentinel_for")
• "sentinel_for<S, I> is modeled" (only if absolutely necessary)