No one repping the old drop sort. Just returns the first item of the list, which happens to be an ordered list. Simples.