Davidmanheim answers What is MIRI currently doing?