From 5f8b7b628d2f4c540c321fea83dd8c75a2573b4f Mon Sep 17 00:00:00 2001 From: chris Date: Sat, 11 Apr 2015 15:38:40 -0400 Subject: [PATCH] --- topics/_week10_gsv.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.11.0