User blog comment:VoidSansXD/final function/@comment-35470197-20190525020128

How about formalising your definition in terms of mathematics (recursion or algorithm) instead of natural-language-based explanation?