Make subst more concise for readability.
Toward a first draft.