eq(f0(A,B),1,[f13(C,D)],[]).