Isn't Descending a > b ?