scasper comments on Pitfalls with Proofs

[scasper]

Don’t know what part of the post you’re referring to.