Most of the previous discussion of the choice of designs has been on a relatively informal basis, emphasizing the desirability of generally plausible requirements of balance and the closely associated notion of orthogonality; see Section 1.7. We now consider the extent to which the design process can be formalized and optimality criteria used to deduce a design. We give only an outline of what is a quite extensive theoretical development.