Inspired by this question:
Suppose S(C, A) is an algorithm that sorts the elements of array A given a comparison function C such that C(x, y) returns a negative, zero
