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

one thing to note is that #0 and # can be empty (but #1 can't, and C (empty input) doesn't exist)