Sorting by height to speed up the gallows