From: Jim Pryor <profjim@jimpryor.net>
Date: Mon, 27 Sep 2010 02:50:35 +0000 (-0400)
Subject: week3 tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c794ad08ee1ab7a1297fcc1bf1ec3f9b81b4a612

week3 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/week3.mdwn b/week3.mdwn
index f7499211..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