Manipulating Formulas handout