An introduction to formulas