re SortedSet