RyanCarey comments on Formalizing longtermism