never gets around to noticing whether it has an argument, let alone
doing anything with that argument. If so, how could Ω have a
fixed point? That is, how could there be an `X` such that
-<code>Ω X <~~> &Omegea;(Ω X)</code>? To answer this
+<code>Ω X <~~> Ω(Ω X)</code>? To answer this
question, begin by constructing <code>YΩ</code>. Prove that
<code>YΩ</code> is a fixed point for Ω.