@dgar Shouldn't 1 come first? Does "Top" implies decreasing order?