 Definitions that conform to (7)–(9) are heterogeneous; the definiendum is sentential, but the defined term is not. One source of the specific conditions on (7) and (9) is their heterogeneity. The specific conditions are needed to ensure that the definiens, though not of the logical category of the defined term, imparts the proper logical behavior to it. The conditions thus ensure that the logic of the expanded language is the same as that of the ground language. This is the reason why the specific conditions on normal forms can vary with the logic of the ground language. Observe that, whatever this logic, no specific conditions are needed for regular homogeneous definitions.