In some of the examples we have encountered, the role of our formal expressions has been secondary to that of texts in natural language. The main aim of the design endorsement system of Section 5.3 is to allow parts of the codes of practice which regulate design to be linked to appropriate components of the design. Our interest in logic is to provide the ``connective tissue'' linking design to text, rather than as a way of determining the style of the text itself. A similar principle applies in Section 5.1 when generating WWW pages in HTML. Our main interest is in generating sets of pages which ``look right'' and the structured terms which we use to generate HTML must be able to satisfy those expectations.