Paul Crowley comments on Just a casual question regarding MIRI