 Barwise and Perry’s situations and Austin’s demonstrative contents, are simply partial worlds under a different name. That is, they are incomplete possible worlds. Austin’s types, the descriptive contents of statements, are looking very much like propositions—in particular the proposition that describes the claim being made by an utterance. With a little bit of license, we might think of Austin’s demonstrative content of a statement as that statement’s truthmaker in a fine-grained sense. Barwise’ notation in   (11)  above with respect to \(x\vDash\phi\) betrays this reading. Moreover, given that \(x\cmapsto y\) is a ternary relation,  (12)  is starting to look very much like a semantic clause for the conditional that turns on a three-place accessibility relation in something like a Kripke frame.