x
Formalizing Alignment — LessWrong