x
Implications of Logical Induction — LessWrong