User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-30869823-20180804141523/@comment-35392788-20180804200825

Actually, I'm surprised username didn't make some walkthroughs himself. He's usually pretty good at making informal explanations. Anyway, that's something I might tackle in the future.