Vaniver comments on Three mental images from thinking about AGI debate & corrigibility