X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week10_gsv.mdwn;h=58f1bab7998abd11e3afc9f715b37ae6cb503175;hp=39c715d96096ac268dac238ad46c0cedd09ba9c7;hb=d3fc88e7f52c08a3bea9e03da9771af9896afe48;hpb=585323674554a6a414312ef903d753d53912e68e

diff --git a/topics/_week10_gsv.mdwn b/topics/_week10_gsv.mdwn
index 39c715d9..58f1bab7 100644
--- a/topics/_week10_gsv.mdwn
+++ b/topics/_week10_gsv.mdwn
@@ -90,9 +90,10 @@ 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.
+doing this for every object a in the domain of discourse.  If you're
+unsure about this, examine the [[code|code/gsv.ml]].
 
 Negation is natural enough: