User blog comment:B1mb0w/The SeT Function/@comment-25601061-20170409211924/@comment-10262436-20170531041845

I see now that you were correct. The S function grows at p(1,1,0).

I have since strengthened the rules for the SeT function and now calculate

T(1,T(0)) > p(2,0,0)

T(1,0,0) > p(1,0,0,0)

T(1,0,0,0) > p(1,0,0,0,0)

T(1;0) is way past svo

Do you have any thoughts ?