assignment7 tweaks

[lambda.git] / hints / assignment_7_hint_3.mdwn

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index c678e80..1cd6213 100644 (file)
--- a/hints/assignment_7_hint_3.mdwn
+++ b/hints/assignment_7_hint_3.mdwn
@@ -23,4 +23,6 @@ More specifically, "\[[expression]]" will be a set of 'a discourse possibility m
                                (* the reason for returning a triple with () in first position will emerge *)
                                in ((), r',g')
 
+*      At the top of p. 13 (this is in between defs 2.8 and 2.9), GS&V give two examples, one for \[[∃xPx]] and the other for \[[Qx]]. In fact it will be easiest for us to break \[[∃xPx]] into two pieces, \[[∃x]] and \[[Px]]. Let's consider expressions like \[[Px]] (or \[[Qx]]) first.
+