Paul_Christiano comments on Announcing the 2017 donor lottery