Relating HCH and Logical Induction — LessWrong