BurntVictory comments on Question: MIRI Corrigbility Agenda