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