x
Two Paths From Logical Induction — LessWrong