unification: p(X,Y) works