User blog comment:B1mb0w/The S Function Version 2/@comment-5529393-20160710173738

Can you explain the rule for sub procedure applied to T functions better? I can't parse lines like "then lets call parameter a, the parent of b,c and hence T(d):" or "=sub(T(d)) but use the parent of a instead."

The definition of S functions seem problematic. You write "s_{i+1}=S(a_i,b_{i+1}<_bi,c_{i+1}<a_i)", but what are the a_i et cetera, and if an S function is just S(a,b,c), how can the definiton of S involve all these sequences a_i, b_i, c_i when they're not written in the notation? And you have inequalities like b_{i+1} < b_i, but you can't define inequality until you have defined the S function.