Everything up to quicksort