 Let us observe some general features of the revision theory of definitions. (i) Under this theory, the logic and semantics of non-circular definitions—i.e., definitions in normal form—remain the same as in the traditional account. The introduction and elimination rules hold unrestrictedly, and revision stages are dispensable. The deviations from the traditional account occur only over circular definitions. (ii) Under the theory, circular definitions do not disturb the logic of the ground language. Sentences containing defined terms are subject to the same logical laws as sentences of the ground language. (iii) Conservativeness holds. No definition, no matter how vicious the circularity in it, entails anything new in the ground language. Even the utterly paradoxical definition