Rob Bensinger comments on Question: MIRI Corrigbility Agenda