Use sort_by instead of sort. Succinct, and faster.