jsteinhardt comments on MIRI’s Approach