sg(Y) = X <= sg(U)=V, p(U)=X, p(V)=Y
sg(a)=a <=
sg(b)=b <=
sg(c)=c <=
p(b) = a <=
p(c) = a <=

