 Weak Kleene fails as a theory of presupposition because it entails that presuppositions project uniformly, whereas in fact they do not. Another system of Kleene’s, the Strong Kleene connectives, does not have this property: