Thomas Kwa comments on A case for AI alignment being difficult