So.......proof is final and binary unless in brackets ?
"Proofs have two features that do not exist in science: They are final, and they are binary. Once a theorem is proven, it will forever be true and there will be nothing in the future that will threaten its status as a proven theorem (unless a flaw is discovered in the proof)"
