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

Second sentence in the second paragraph. "To every instance of D function D (x_1......we connect an ordinal f....."

This can only be done if D function is in fact less epsilon_0 in strength. Otherwise if D is stronger then it cant be done. E.g. you cant use this proof for TREE (n) function.

What can you prove if you restate the sentence and connect D (2,0,n) to an ordinal. We both agree this can be done. It is the basis of my calculations so far.

Do you agree ?