User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-35470197-20180803231131/@comment-30754445-20180807145202

@Rpakr

"Yes. The C function is just a shorthand and is not needed in formal definitions."

"Do you understand C function or are you saying this based on your guess(es)?"

Given your first sentence, I fail to see the relevance of your second question.

My entire argument was that either the C function is redundant or the system is far weaker than it is claimed to be. Since you agree the C function is, indeed, redundant, I'm not sure what point you're trying to make.

BTW I've made this observation because some people here seem to think that the C-function is the source of power of Username's notation. I've pointed out that if they were right, then UNOCF would have been in serious trouble.

Fortunately, the people who are most well-versed in UNOCF seem to agree that the C-function provides no additional power, so all is well on this front.