Fixing quicksort, theoretically.