Formulas for One Word Substitution