Logical Induction (incomplete) — AI Alignment Forum