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

