paulfchristiano comments on Relating HCH and Logical Induction