more efficient SortedList.remove