x != y => c(k, x) != c(k, y)
x == y => c(k, x) != c(k, y)