subformulae