We're just generating a unique sequential identifier with that (because we're feeding it a unique sequential identifier: -- though never forget that ids are seldom gapless) The rhs is slightly more complex.