Li-Fan Chen says to YSITD
cmp'(a, b) = cmp(p, a, b)