Mention that it's Arturs's quicksort we're using