scasper comments on Pitfalls with Proofs