MIRI strategy — LessWrong