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

Could this be reworked into SOST without exponentializing the number of symbols?

(i.e. can the strings be replaced with other well-formed expressions?)

(I do not trust the computer I am writing this on, so I didn't log in.)