s/QuickSort/QuickCheck