gwern comments on How to prove anything with a review article