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


 * 1) 1 can be empty though. If not, then you'd have trouble handling C(1,1)