6.20.6 Change of variables:
subst
See the
subst
command in Section
6.12.18
.