[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.