[...] Sorting rows of a matrix …