Relating HCH and Logical Induction — AI Alignment Forum