User blog comment:Alemagno12/BM2 has a problem/@comment-30754445-20180724073311/@comment-35392788-20180728090637

In answer to @Ecl1psed276, I have made a formal definition of UNOCF, which should help tremendously with a formal proof (here)