But that's not in the specification given above. That specification is entirely wrong to specify SORT. It requires no duplicates survive the sorting process.