subst(Y/X,X,x)
