Well, recursion is well-structured and can be reasoned about through induction. Goto is unstructured…