Charlie_Guthmann comments on Formalizing Extinction Risk Reduction vs. Longtermism