Reducing, Guiding, and Dissolving Formulas