Comment by anonymouz

The authors discuss the dual roles of proofs, and the new need to differentiate them better, clearly in the article.