WithValueIsOrderedSet