more work on basic operations for formulas