4.4.4.6. Sub-formulas