substitutions