User blog comment:P進大好きbot/Analysis of 非想非非想 notation/@comment-34422464-20190802004834/@comment-32697988-20190802005549

There is a link to it in the first paragraph.