-its own terms, with the exception that we will not use pegs. See the
-digression below concerning pegs for an explanation. After presenting
-the paper, we'll re-engineering the fragment using explicit monads.
-
-In this fragment, points of evaluation are not just worlds, but a pair
-of a world and an assginment function. This is familiar from Heim's
-1983 File Change Semantics. We'll follow GSV and call a
-world-assignment pair a "possibility". Then a context is a set (an
-"information state") is a set of possiblities. Infostates
-simultaneously track both information about the world (which possible
-worlds are live possibilities?) as well as information about the
-discourse (which objects to the variables refer to?).
-
-Worlds in general settle all matters of fact in the world. In
-particular, they determine the extensions of predicates and relations.
+its own terms, with the exception that we will not use GSV's "pegs".
+See the discussion below below concerning pegs for an explanation.
+After presenting the paper, we'll re-engineering the fragment using
+explicit monads.
+
+In this fragment, points of evaluation are not just worlds, but pairs
+consisting of a world and an assginment function. This conception of
+an evaluation point is familiar from Heim's 1983 File Change
+Semantics. Following GSV, we'll call a world-assignment pair a
+"possibility", and so a context (an "information state") will be set
+of possiblities. As GSV emphasize, infostates simultaneously track
+information about the world (which possible worlds are live
+possibilities?) as well as information about the discourse (which
+objects to the variables refer to?).