 The raised understanding is always stronger than the contradictory (outer) negation; it applies to a proper subset of the situations to which the contradictory applies (is true in a proper subset of possible worlds). Thus neg-raising, as Anselm recognized, yields a virtual contrariety: the compositional meaning is true but too weak, and the addressee recovers a conversational implicature to “fill in” the stronger proposition.