Mark_Friedenbach comments on Just a casual question regarding MIRI