User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180804174000/@comment-30754445-20180805012145

"1. What are those "intermediate steps"?"

Basically the steps you've mentioned.

"2. Should I try to prove these (standard OCF vs UNOCF)? (Would be hard because of the lack of formal definition)"

It's too early for that.

We should work on creating a formal definition first... And I suggest we don't try to define the entire thing all at once. Pick a subsystem you're 100% comfortable in, and concentrate on that first.

Perhaps ψ(Ωω) would be a good place to start.

3. Would you like me to continue this?

Most definitely.

This is what an actual "walkthrough" should look like.

And I suspect that actually creating a formal definition would be easier after we had such a detailed list in place.