Michael St Jules πŸ”Έ comments on Formalizing Extinction Risk Reduction vs. Longtermism