 respects the Conservativeness requirement. (iv) Eliminability fails to hold. Sentences of the expanded language are not, in general, reducible to those of the ground language. This failure has two sources. First, revision theory fixes the use, in assertion and argument, of sentences of the expanded language but without reducing the sentences to those of the ground language. The theory thus meets the Use criterion, but not the stronger one of Eliminability. Second, in this theory, a definition can add logical and expressive power to a ground language. The addition of a circular definition can result in the definability of new sets. This is another reason why Eliminability fails.