Stuart_Armstrong comments on Just a casual question regarding MIRI