x
Formal Alignment — LessWrong