Describing Formulas