User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043/@comment-35392788-20180729113910

I'll pass. This level of formality is far, FAR beyond what I can do.

I guess this is a decently formal ruleset then  eh ?