Questions about ''formalizing instrumental goals" — LessWrong