[jwolfe]

If you're confident about your proof checker being correct, then why would you not be confident about the validity of a proof that your proof checker says is correct?

[fallat]

They're not even touching that but it's possible. The issue is you can still write proofs that appear correct, but really, they aren't.