 The traditional account makes possible simple logical rules for definitions and also a simple semantics for the expanded language. Suppose definition \(\mathcal{D}\) has a sentential definiendum. (In classical logic, all definitions can easily be transformed to meet this condition.) Let \(\mathcal{D}\) be