See [reverse.iter.cmp].