The resulting graph is a nucleus for constructing models of possible worlds in which the sentence is true. • Laws of the world behave like demons or triggers thai monitor the models and block illegal extensions. • If a surface model could be extended infinitely deep, the result would be a complete standard model. This approach leads to an infinite sequence of algorithms ranging from plausible inference to exact deduction; they are analogous to the varying levels of search in game playing programs. .