MichaelDickens answers What is MIRI currently doing?