simultaneous substitution; use values instead of bare strings.