 In application to ordinary, informal definitions, the Vicious-Circle Principle does not provide, it must be said, a clear method of demarcating the meaningful from the meaningless. Definition (16) is supposed to be illegitimate because, in its definiens, the quantifier ranges over the totality of all propositions. And we are told that this is prohibited because, were it allowed, the totality of propositions “would have members only definable in terms of the total.” However, unless we know more about the nature of propositions and of the means available for defining them, it is impossible to determine whether (16) violates the Principle. It may be that a proposition such as “Cheney is a liar”—or, to take a less contentious example, “Either Cheney is a liar or he is not”— can be given a definition that does not appeal to the totality of all propositions. If propositions are sets of possible worlds, for example, then such a definition would appear to be feasible.