added export for formulae.cleaned