(@ cmp a b +-                                    (@ cmp a b order-by:SORT_DESC +-
    ([> b] a)                                        (![> b] a)
)                                                )

(@ cmp a b +-                                    (@ cmp a b order-by:SORT_DESC +-
    ([= CR_GT] rc -                                  (![= CR_GT] rc - 
        (# collate a b .rc)                              (# collate a b .rc)
    )                                                )
)                                                )





