Define a new comparator
C'
in terms of
C
.