renaming Bucket to SortedSet