Kaj_Sotala comments on MIRI strategy