User blog comment:MilkyWay90/I'm ready for the easiest OCF!/@comment-32697988-20180821002553/@comment-30869823-20180822070032

I actually find my requirement of formality fairly low (even tough I definitely belong to the second group), I don't need any proofs or anything I just want a definition which is clearly and explicitly defined for every case (which UNOCF isn't). I just find it unbelievable that anyone would work with anything which isn't even completly defined!

@Eclips1d276 '''What, in your opinion, counts as justification? For example, what justification would one have to give to convince you that the limit of pair sequence BM2 is psi(W_w)? A formal proof? A detailed analysis?'''

> first a foremost a complete definition of BM2 + a logical argument (possibly based on an anylisis, note I said argument not proof, I need a reason why you believe what you believe not just a claim).

This seems like a pretty important discussion for the site maybe we should move it to a new blogpost?