4.4.4.7. Sub-formulas