X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=e8a86e90bbc180f69d98d3af58680b40e2edf143;hp=c646e8ccd1fea4eb3ec20893f83cdb47e19fadce;hb=c794ad08ee1ab7a1297fcc1bf1ec3f9b81b4a612;hpb=0f35e8d18e58f334d8c147d161c18c4df81acc17

diff --git a/week3.mdwn b/week3.mdwn
index c646e8cc..e8a86e90 100644
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -583,7 +583,9 @@ truth and circularity](http://tinyurl.com/2db62bk) for an approach
 that is similar, but expressed in terms of non-well-founded sets
 rather than recursive functions.
 
-HOWEVER, you should be cautious about feeling too comfortable with
+##However...##
+
+You should be cautious about feeling too comfortable with
 these results.  Thinking again of the truth-teller paradox, yes,
 <code>&Omega;</code> is *a* fixed point for `I`, and perhaps it has
 some a privileged status among all the fixed points for `I`, being the
@@ -620,7 +622,8 @@ for any object.
 
 The chameleon nature of (3), by the way (a description that is equally
 good at describing any object), makes it particularly well suited as a
-gloss on pronouns such as *it*.  In the system of [Jacobson 1999](http://www.zas.gwz-berlin.de/mitarb/homepage/sauerland/jacobson99.pdf)
+gloss on pronouns such as *it*.  In the system of 
+[Jacobson 1999](http://www.springerlink.com/content/j706674r4w217jj5/),
 pronouns denote (you guessed it!) identity functions...
 
 Ultimately, in the context of this course, these paradoxes are more