[Hugsun]

Couldn't you also do the substitution n times to make this ordinal emulate the fast growing hierarchy instead of the middle growing one?

[tromp]

Where would you get the number n from? All we have here are binary trees s and t of arbitrary shape.