User blog comment:KthulhuHimself/Norminals Revisited./@comment-26428969-20151210184122/@comment-26428969-20151215065648

this formula isn't pure SOST at all. its very abstract, it even uses strings