User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-25337554-20180804221210/@comment-25337554-20180805005622

Where did you define UNOCF psi?