User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-25601061-20180803174452/@comment-30004975-20180804233626

C is just W, right?