Faustus2 comments on Just a casual question regarding MIRI