Question: Recursive procedures in t