csj comments on Proving Too Much