5.1-sortcomplexity-203-1221-annotated.pdf