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

I am not sure that [2]\[5][7] means the same thing as continuing to recurse [5][7] and only applying the [2]\ when it reaches [1][7] or [5][1]. I will have to give this some thought. Even if it is equivalent, I think it might muddy the waters about when to use the recursion rules and when to bring the [p]\ inside the expression. Important things to think about. Thank you.