gwern comments on A Comment on Expected Utility Theory