Michael_Wiebe comments on Formalizing longtermism