let descending t t' = compare t' t