alex lawsen (previously alexrjl) comments on A Sequence Against Strong Longtermism