User blog comment:Ynought/Extended degree function/@comment-35470197-20181230222231/@comment-35470197-20190104231945

> what rule 4.2.3?

The previous rule "Place the new entrys to the left of the current \(A\)".

> This is at least omega double up 4

It might be, if we assume that it terminates.