User blog comment:Mh314159/A hopefully powerful new system/@comment-39585023-20190630030857/@comment-39585023-20190630131930

Wow, thanks for all of that! I have a question. I notice that in your relationships, in the step from wxw to w^w, you skip from expressions of type ns to expressions of type o and I do not see any type sn or ss expressions. Was that intentional on your part, or did you miss the sn and ss expressions? Is it possible to evaluate ordinals skipping two entire rule sets? Thanks!