Tao Lin comments on Pitfalls with Proofs