Chapter 3 - CONSTRUCTION OF FORMULA CLAUSES