Noosphere89 comments on What program structures enable efficient induction?