eq(pair(crypt(plus(a,b),pub(c)),plus(crypt(a,pub(c)),crypt(b,pub(c))))).
eq(pair(X,Y)) :- eq(pair(Y,X)).
eq(pair(X,Y)) :- eq(pair(X,Z)), eq(pair(Z,Y)).
eq(pair(a,a)).
eq(pair(b,b)).
eq(pair(c,c)).