Koen.Holtman comments on Question: MIRI Corrigbility Agenda