X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week2.mdwn;h=31eef33eb8e8d9031616df970e907bdb7046801d;hp=37b717787fa0d2eca16ee42b9fe6c66900a722de;hb=d82bf259b0b28a7d2679c8837e00a12478e377c4;hpb=42db6a206c30f67c0693e8b367c46d5c86e65d9b

diff --git a/week2.mdwn b/week2.mdwn
index 37b71778..31eef33e 100644
--- a/week2.mdwn
+++ b/week2.mdwn
@@ -58,9 +58,12 @@ combinators:
 For instance, Szabolcsi argues that reflexive pronouns are argument
 duplicators.
 
-![test](./szabolcsi-reflexive.png)
+![test](http://lambda.jimpryor.net/szabolcsi-reflexive.jpg)
+
+Notice that the semantic value of *himself* is exactly W.
+The reflexive pronoun in direct object position combines first with the transitive verb (through compositional magic we won't go into here).  The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning.  
+
 
-![Szabolcsi's analysis of *himself* as the duplicator combinator](szabolcsi-reflexive.jpg)
 
 
 These systems are Turing complete. In other words: every computation we know how to describe can be represented in a logical system consisting of only a single primitive operation!