当たり前のことを密教用語を使って説明しているかに見えなくも無いが，数学あるいはプログラミングの理屈で考えられるということは，偉大な研究者の偉大な研究者による偉大な研究者のための文芸的で難解な記載を，離散数学的なドライな表現，つまり初学者やポンコツコンピュータにも理解できる簡潔な共通フォーマットに従った表現してしまうことができるんじゃないか，という発想だったりする．