An Interpretable Constructive Algorithm for Increm

Following 13 feeds