Shmi comments on Pitfalls with Proofs