CHAPTER 3 CONSTRUCTION OF FORMULA CLAUSES