__def_1(a).
__def_2(b).
eq(pair(X1,X2)) :- __def_2(X2), __def_1(X1).
sig(a).
sig(b).