Unraveling the iterative CHAD. - Fernando Lucatelli Nunes; Gordon Plotkin; Matthijs Vákár (CoRR, 2025)