User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-27516045-20170725132813/@comment-77.126.100.125-20170731101621

Then we're at a much better position than I thought.

SAN already has a formal regorous definition, so why care about the formality of the intuitive explanation?

An intuitive explanation which can be followed correctly by anyone, would be more than enough. Right now, though, we don't have one. What we need is for someone who is well-versed in SAN to write such an introduction. We can limit ourselves to DAN for the time being. It is already stronger than any commonly accepted notation around here (it seems to somehow diagonalize over I,M,K...).