User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-35470197-20200221065845

OK. So in this case, to define the fixed point of x→{X,X(1)x}, we need to consider the definition of {X,X(1)x}.