User blog comment:ANDY3556/Andrew's A-Notation/@comment-31867576-20180610164643/@comment-31867576-20180610170312

And, is there any recursional rule that I don't know of?