 hese two definitions are equivalent if negation maps true onto false, false onto true, and is undefined when its argument is undefined. However, the second definition is notable in the context of the above discussion of projection, because it seems to directly encode the projection properties of at least one operator: negation. Specifically, it says that presuppositions are inferences that survive embedding under  negation.[5]