let descending x y = compare y x