Jurgen Gravestein comments on A case for AI alignment being difficult