More and more extreme examples can be given. The fixed point construction may have to be continued to larger and larger transfinite ordinals. This is a well-known phenomenon, especially in areas like the Theory of Truth. It cannot be avoided. Incidentally, it should be noted that the machinery introduced by Kripke in his treatment of truth has a natural embedding into LPCR, but we do not discuss this here.