 Although Karttunen’s (1974) model is distinct conceptually from any of its predecessors, we have already noted that it shares at least some predictions with Strong Kleene. An observation made by Peters (1979) showed that the 1974 model is surprisingly closely related to the semantic accounts of presupposition discussed above. In particular, Peters showed that Karttunen’s way of calculating presuppositions for the truth conditional connectives is equivalent to what would be obtained within a three-valued logic, but with special non-symmetric connectives. Here is a general way of defining the Peters Connectives, inspired both by Schlenker (2009; 2008) and George (2008):