eq(pair(a,b)).