Term category: Formulae