substitute: underline the substitution