default formulae