Daniel C comments on What program structures enable efficient induction?