User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180805015451/@comment-30754445-20180807015625

I have no idea.

Keep in mind that I'm still struggling to grasp how Mahlo-based OCF's work. I'm basically taking Deedlit's word that his claims are true, because I know he seldom writes things that are wrong.

(also, mathjax doesn't work for me in the comments, which makes it even more difficult for me to fully understand your posts)