Result for #formulae