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