Use `SortedSet`