9.5 The Laws Governing Formulas And Names