gwern comments on How To Have Things Correctly