p(a)=b<=
ab(X)=Y<=p(X)=Z,p(Z)=Y


