gwern comments on Pascal’s wager