x
MIRI strategy — LessWrong