From: chris <chris@web>
Date: Sat, 11 Apr 2015 19:38:40 +0000 (-0400)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=5f8b7b628d2f4c540c321fea83dd8c75a2573b4f;ds=sidebyside

---

diff --git a/topics/_week10_gsv.mdwn b/topics/_week10_gsv.mdwn
index 39c715d9..8c2f5277 100644
--- a/topics/_week10_gsv.mdwn
+++ b/topics/_week10_gsv.mdwn
@@ -90,7 +90,7 @@ Existential quantification is somewhat intricate.
 
 Here's the recipe: given a starting infostate s, choose an object a
 from the domain of discourse.  Construct a modified infostate s' by
-adjusting the assignment function in order to map the variable x to a.
+adjusting the assignment function of each possibility so as to map the variable x to a.
 Then update s' with φ.  Finally, take the union over the results of
 doing this for every object a in the domain of discourse.