shminux comments on MIRI strategy