Paul_Christiano comments on Best way to invest with leverage?