In fact, this would return true if multiples of (k+1) nodes are added.