closed formulae