A just-infinite iterated monodromy group without the congruence subgroup property. - Radi, Santiago (Journal of Group Theory, 2026)