User blog comment:B1mb0w/Strong D Function/@comment-1605058-20150624061803/@comment-10262436-20150702132536

"because we have no guarantee that next tree will lead to smaller ordinal"

I don't understand how this condition may or may not apply to D(2,0,n) equations. Does it refer to whether D(2,0,n+1) can be guaranteed to lead to a smaller ordinal ? That does not sound right.

Or does it refer to some sort of proof by contradiction that if D(2,0,n) is connected to an ordinal F(x_1...) that we can guarantee that D(2,0,n-1) leads to a smaller ordinal ? This sounds more logical, but I am at a disadvantage here because I do not know what condition I must meet to satisfy you.