Paul_Christiano comments on Expected Utility Auctions