distinct(X,Y) :- __not_eq(pair(X,Y)), sig(X), sig(Y).