We envision that the methods of the previous section may serve as a bridge to foundation level models where the distinctions between induction and deduction become moot. However, we don't think that it is a coincidence that LLMs use a recurrent architecture that is shared with the models proposed in the previous section. This seems to us to be an essential feature that provides the possibility to auto-correct and impose deductive constraints through sequential logical steps.