Richard_Kennaway comments on I don’t think MIRI “gave up”