It kind of sounds like they think they found a kernel of knowledge which could form the body of something like a for-loop or inductive step of an induction proo

It kind of sounds like they think they found a kernel of knowledge which could form the body of something like a for-loop or inductive step of an induction proof of the larger problem.