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

There is no "normal definition" per say, that's the issue. Otherwise, UNOCF is introduced here