 The pivot of the lower bucket will be set to the median found, and the pivot of the higher bucket will be set to the same as the bucket before the split.At the end of the distribution step, all elements are in the buckets, and the two invariants will still hold.To accomplish this, each subarray and bucket will have a state associated with it.