[lots of formulas]