week3 tweak

[lambda.git] / week3.mdwn

diff --git a/week3.mdwn b/week3.mdwn
index f749921..e8a86e9 100644 (file)
--- 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