subformulas