Prof.Weird comments on Formalizing longtermism