DEDS mainly done (fixed SortedSequence)