alex lawsen comments on A Sequence Against Strong Longtermism