User blog comment:Scorcher007/Analysis DAN up to Z2/@comment-11227630-20180919121102/@comment-31580368-20180919150958

I thought about ψ(S[Ωa+1]) ~ s(n,n{1,,,1,2}2), too. This is also a very good pattern. Maybe my assumptions about {n,n(1,,,1,2)2} ~ П12-CA0 are wrong. But then this means that DAN is much weaker than Z2. Maybe just П12-CA0. Anyway, I'll try to redo the analysis, without using the 1st hypothesis.