MichaelStJules comments on Formalizing Extinction Risk Reduction vs. Longtermism