Mark_Friedenbach comments on MIRI Research Guide