Pongo comments on Relating HCH and Logical Induction