further work on formulas