subst -> tr