Version 1 of #1583

as things get complex and more detailed, it becomes to know which part you are 100% right about.

I think an important consideration here is that because we have no way to prove something to be 100% (because knowledge is conjectured, not justified), that we should assume it to contain areas of improvement and can never be 100% right. The best we can do is say it's true on the condition of axioms X Y Z and the fact that I cannot think of any further criticisms.