eq(f0(A,B,C),1,[f8(-1,-1,-1)],[]).