User blog comment:Mh314159/Natural number recursion - first 4 rule sets/@comment-35470197-20191019143654/@comment-39585023-20191024001234

Well, that is certainly further than I've gone before so I will consider it a good beginning and I will continue. I have now posted rule 5, the first of the rules that uses the expression-cloning variable, for which I am using the greek letter alpha. I have plans to do a lot more with the greek letters and then to extend them to the arbitrarily large nth greek letter, but I am still deciding whether to define multiples and powers of alpha, or for simplicity to proceed straight to beta.