Logan Riggs comments on Proving Too Much (w/​ exercises)