Comment by xdavidliu

> By standard semantics, if you state that believing with certainty that the proof is incorrect is stupid, then you surely believe with certainty that it's correct.

you might want to think a little bit harder on this