6.20.6  Change of variables: subst

See the subst command in Section 6.12.18.