Manipulating formulas: temperature