Harlan answers What is MIRI currently doing?