2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/151967We discuss properties of recursive schemas related to McCarthy's ``91 function'' and to Takeuchi's triple recursion. Several theorems are proposed as interesting candidates for machine verification, and some intriguing open questions are raised.Computational Complexitytext