Sorted sets specs