algon33 comments on Question: MIRI Corrigbility Agenda