Nathan Helm-Burger comments on What program structures enable efficient induction?