5.20.6 Change of variables:
subst
See the
subst
command in the section
5.13.20
.