Collections.Sorted_List_Operations