peer 5 abruptly leaves
Peer 4 detects 5 is gone
makes 8 its immediate successor; asks 8 who its K-1 successor are; makes 8 and these K-1 others immediate successor its K successors.
Peer 8 detects 5 is gone (so 8 is responsible for keys 4+1 to 8)
Asks 4 for its K-1 predecessors and gets their key-values pairs
Nodes less than K hops from 5 behave similarly
What if peer 13 wants to join?