DOC: intro to formulas