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