@PaulsPrattle I think there could be some interesting things to say about "proof", but I'm not sure about the others. There are different standards of proof, or even conceptions of what a proof fundamentally is, that would be worth describing.