User blog comment:TySkyo/Super-duperplex/@comment-24920136-20160805151516/@comment-28633611-20160805162150

Not anymore :-)

Now it's about Rayo_ω in the Rayo Hierarchy... which is still a naive extension (and will probably be edited to become another naive extension in 5 minutes :-))