User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043/@comment-35392788-20180728130200

On an unrelated note, I'd suggest joining the googology discord server, that way discussing can be made much easier ^^