YES linear polynomial interpretations on negative integers: b_A = 0 a_A = 0 f_A(x1,x2) = -1 c_A = -1 the condition f(a(),c()) ->> a() is unsatisfiable for all substitutions.