Thread:PaperStar/@comment-34052734-20180701071737/@comment-33389101-20180701190959

ah, nevermind. i've thought of a name. should we have some sort of form for this?