takeLargestMatchesProxy
PartiallyOrderedSetLaws
toSortedListMatchesProxy
PartiallyOrderedSetLaws