Each node knows `r` immediate successors.
Each node knows
rimmediate successors.