Vladimir_Nesov comments on Proving Too Much (w/​ exercises)