See [reverse.iter.nav].