eq(pair(f(a),b)).