Paul_Christiano comments on Donor lottery details