User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-30754445-20180709051740/@comment-25601061-20180711035458

@PsiCubed2

I've just made a proof-assisted analysis of Primitive Sequence System on the discord. You can also find it here.