lemonhope comments on A case for AI alignment being difficult