let
descending t t' = compare t' t