X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek1_order.mdwn;h=02ed4836700b6009e5168466edc3192c89c3ef68;hp=f86ffd05058eeb12ed5f3762e33db56baaade5ae;hb=a0eb18e702862266fdc8a7d935d6cc33821fdf4a;hpb=54e9fbd4f0fb616d1a0b183b27271650c6f84fc5

diff --git a/topics/week1_order.mdwn b/topics/week1_order.mdwn
index f86ffd05..02ed4836 100644
--- a/topics/week1_order.mdwn
+++ b/topics/week1_order.mdwn
@@ -242,5 +242,14 @@ the value of the implication as a whole depends on the value of `X`,
 but in the material implication `F --> ?`, the outcome is `T` no
 matter what the value of `X` turns out to be.
 
-[to be added: citation details; reasoning about order sensitivity in
-an order-independent way]
+(To be added: citation details; reasoning about order sensitivity in
+an order-independent way.)
+
+The preceding discussion has endeavored to bring out some *similarities*
+between the kind of order-dependence in our three-valued truth-table, and the
+kinds of order-dependence exhibited by "dynamic semantics." But there are also
+of course substantial *differences* between them, and these are also, perhaps
+even more interesting. Over the course of this semester we hope to clarify and
+help you to think more carefully about both the similarities and the
+differences.
+