deriving formulas