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