MichaelStJules comments on Formalizing longtermism