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>Ω</code> is *a* fixed point for `I`, and perhaps it has
some a privileged status among all the fixed points for `I`, being the