User blog comment:Mh314159/A hopefully powerful new system/@comment-35470197-20190628050713/@comment-39585023-20190628131005

Thank you for working on this! Please have a look at the cycle rules when you get a chance because I think they are far more recursive than anything that comes before and might go farther than you anticipate. To go stronger, I might consider using something like the cycle factorial rule earlier in the notation. A stronger base function? Would that be effective, or negligible? If I can't make it stronger at about the length it is or a little longer, I think I will be done. I'm not going to extend it to hundres of rules. Thanks!