https://platoblockchain.com/plato-data/how-do-mathematicians-know-their-proofs-are-correct/